Rapid Developmnt of High-Quality Customizable and Adaptable Software for Digital Signal Processors
نویسندگان
چکیده
Boca Raton, Florida, Nov. 1999. [Bur92] J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, andL.J. Hwang, "Symbolic model checking: 10**20 states andbeyond," Info. and Comp., Vol. 98, No. 2, June 1992, pp.142-170. [Col92] D. Cooleman, F. Hayes, and S. Bear "IntroducingObjectcharts or How to use Statecharts in object-orienteddesign," IEEE Trans. on Softw. Eng., Vol. 18, No. 1, Jan.1992, pp. 9-18. [Ebr97] N.B. Ebrahimi, "On the statistical analysis of thenumber of errors remaining in a software design documentafter inspection," IEEE Trans. on Softw. Eng., Vol. 23, No. 8. Aug. 1997, pp. 529-532. [Fin94] A.C.W. Finkelstein, D. Gabbay, A. Hunter, J. Kramer,and B. Nuseibeh, "Inconsistency handling inmultiperspective specifications," IEEE Trans. on Softw.Eng., Vol. 20, No. 8, Aug. 1994, pp. 569-578.[God96] P. Godefroid, D. Peled, and M. Staskauskas, "Usingpartial-order methods in the formal validation of industrialconcurrent programs," IEEE Trans. on Softw. Eng., Vol. 22, No. 7, July 1996, pp. 496-507. [Har87] D. Harel, "Statecharts: A visual formalism for complexsystems," Sci. of Comput. Prog., Vol. 8, 1987, pp. 231-274. [Hei96] M. Heimdahl and N.G. Leveson, "Completeness andconsistency in hierarchical state-bed requirements," IEEETrans. Softw. Eng., Vol. 22, No. 6, June 1996, pp. 363-376. [Hol97] G.J. Holzmann, "The model checker SPIN," IEEETrans. on Softw. Eng., Vol. 23, No. 5, May 1997, pp. 279-295. [Jac95a] D. Jackson, "Structuring Z specifications with views,"ACM trans. Softw. Eng. and Meth., Vol. 4, No. 4, Oct.1995, pp. 365-389. [Kic97] G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C.V.Lopes, J.-M. Loigtier, J. Irwin, "Aspect-OrientedProgramming," Prof. European Cong. on Object-OrientedProgramming (ECOOP), Finland, June 1997. [Kim89] K.H. Kim and S.M. Yang, "Performance impacts oflook-ahead execution in the conversation scheme," IEEETrans. Comp., Vol. C-38, No. 8, Aug. 1989, pp. 1188-1202. [Lam94] S.S. Lam and A.U. Shankar, "A theory of interfacesand modules: I --Composition Theorem," IEEE Trans. onSoftw. Eng., Vol. 20, No. 1, Jan. 1994, pp. 55-71. [Lyu96] M. Lyu, (Ed.), Handbook of Software ReliabilityEngineering, McGraw-Hill and IEEE Comp. Soc. Press,1996. [Mat97] S. Matsuura, H. Kuruma, and S. Honiden, "EVA: Aflexible programming method for evolving systems," IEEETrans. on Softw. Eng., Vol. 23, No. 5, May 1997, pp. 296-312. [Mus90] J. D. Musa, A. Iannino, K. Okumoto, SoftwareReliability: Measurement, Prediction, Applications,(professional edition), McGraw-Hill, 1990, pp. 178-180. [Pra94] D.J. Pradhan and N.H. Vaidya, "Roll-forward androllback recovery: Performance-reliability trade-off," Intl.Symp. on Fault-Tolerant Comp.(FTCS-24), Austin, TX, June 1994, pp. 186-195. [Ran75] B. Randell, "System structure for software faulttolerance," IEEE Trans. on Softw. Eng., Vol. SE-1, June
منابع مشابه
طراحی و ساخت یک سیستم تشخیص خواب آلودگی راننده مبتنی بر پردازشگر سیگنال TMS320C5509A
Every year, many people lose their lives in road traffic accidents while driving vehicles throughout the world. Providing secure driving conditions highly reduces road traffic accidents and their associated death rates. Fatigue and drowsiness are two major causes of death in these accidents; therefore, early detection of driver drowsiness can greatly reduce such accidents. Results of NTSB inves...
متن کاملDesign of a Portable and Customizable Microprocessor for Rapid System Prototyping
Due to the increasing number of processors which are integrated in System On Chips (SOCs) the need for robust, highly configurable processors emerged. Preliminary research showed that commercial processors are not suited for many research projects due to the fact that they are closed source and they can not be modified. Open source processors on the other hand appeared to be of too low quality....
متن کاملDesign and Implementation of Digital Demodulator for Frequency Modulated CW Radar (RESEARCH NOTE)
Radar Signal Processing has been an interesting area of research for realization of programmable digital signal processor using VLSI design techniques. Digital Signal Processing (DSP) algorithms have been an integral design methodology for implementation of high speed application specific real-time systems especially for high resolution radar. CORDIC algorithm, in recent times, is turned out to...
متن کاملProfiling, Compilation, and HDL Generation within the hArtes Project
The hArtes project addresses optimal and rapid design of embedded systems from high-level descriptions, targeting a combination of embedded processors, digital signal processing, and reconfigurable hardware. In this paper, we present three tools from the hArtes toolchain, namely profiling, compilation, and HDL generation tools, that facilitate the HW/SW partitioning, co-design, co-verification,...
متن کاملSignal Identification Using a New High Efficient Technique
Automatic signal type identification (ASTI) is an important topic for both the civilian and military domains. Most of the proposed identifiers can only recognize a few types of digital signal and usually need high levels of SNRs. This paper presents a new high efficient technique that includes a variety of digital signal types. In this technique, a combination of higher order moments and hi...
متن کامل